class HELLO
feature
     test()
     do
       std_output.put_string("Hello data ");
     end
end


class WORLD
inherit 
        HELLO
        redefine test
create
        make
feature
      make()
      do
      end
      
      test()
      do
        precursor.test();
        std_output.put_string(" world!");
      end
end
      
class APP
feature

    a : INTEGER
    s : STRING
    p : ARRAY[INTEGER]
    
    INIT()
    local
        a: HELLO; b : WORLD
    do
        !!b.make
        a:=b
        a.test()
    end
end